Accounting for Cognitive Costs in On-line Auction Design
The Motion Generation of Pedestrians as Avatars and Crowds of People
OFF-LINE PLACEMENT OF TASKS ONTO RECONFIGURABLE HARDWARE CONSIDERING GEOMETRICAL TASK VARIANTS
SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMS
EMBEDDED HARD REAL-TIME SOFTWARE SYNTHESIS CONSIDERING DISPATCHER OVERHEADS
AUTOMATIC GENERATION OF COMMUNICATION ARCHITECTURES
A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM
ABSTRACT COMMUNICATION MODELING
ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS
MECHATRONICS DESIGN AND VERIFICATION
AN ENERGY-AWARE EXPLORATION APPROACH BASED ON OPEN SOFTWARE ENVIRONMENT
PARTITIONING METRICS FOR IMPROVED PERFORMANCE AND ECONOMY OF DISTRIBUTED EMBEDDED SYSTEMS
ENHANCING INTERACTION SUPPORT IN THE CORBA COMPONENT MODEL
OBJECT ORIENTATION PROBLEMS WHEN APPLIED TO THE EMBEDDED SYSTEMS DOMAIN
TEMPORAL GRAPH PLACEMENT ON MESH-BASED COARSE GRAIN RECONFIGURABLE SYSTEMS USING THE SPECTRAL METHOD
AN EMBEDDED SW DESIGN EXPLORATION APPROACH BASED ON UML ESTIMATION TOOLS
ENERGY MANAGEMENT FOR THE TELEPRESENCE SYSTEM TSR
A JITTER-FREE OPERATIONAL ENVIRONMENT FOR DEPENDABLE EMBEDDED SYSTEMS
FROM MODEL TO REQUIREMENTS: PATTERN-BASED ANALYSIS IN DISTRIBUTED DEVELOPMENT OF EMBEDDED SYSTEMS
INTEGRATION OF TWO COMPLEMENTARY TIME-TRIGGERED TECHNOLOGIES: TMO AND TTP