Sciweavers

1130 search results - page 66 / 226
» Challenges in the design of automotive software
Sort
View
DAC
2004
ACM
15 years 10 months ago
Automated energy/performance macromodeling of embedded software
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
Anish Muttreja, Anand Raghunathan, Srivaths Ravi, ...
CHI
2009
ACM
15 years 10 months ago
Lessons from participatory design with adolescents on the autism spectrum
Participatory user interface design with adolescent users on the autism spectrum presents a number of unique challenges and opportunities. Through our work developing a system to ...
Miriam Madsen, Rana El Kaliouby, Micah Eckhardt, M...
ICWE
2010
Springer
15 years 2 months ago
A Visual Tool for Rapid Integration of Enterprise Software Applications
: © A visual tool for rapid integration of enterprise software applications Inbal Marhaim, Eli Mordechai, Claudio Bartolini, Ruth Bergman, Oren Ariel, Christopher Peltz HP Laborat...
Inbal Marhaim, Eli Mordechai, Claudio Bartolini, R...
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Design patterns in separation logic
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
ISCA
1998
IEEE
122views Hardware» more  ISCA 1998»
15 years 2 months ago
Design Choices in the SHRIMP System: An Empirical Study
The SHRIMP cluster-computing system has progressed to a point of relative maturity; a variety of applications are running on a 16-node system. We have enough experience to underst...
Matthias A. Blumrich, Richard Alpert, Yuqun Chen, ...