10159 search results - page 617 / 2032 » System Design Validation Using Formal Models |
193
click to vote
ECOOP
2004
Springer
16 years 14 days ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
178
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
168
Voted
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
Errors caused by tolerance variations and mismatches among components severely degrade the performance of integrated circuits. These random effects in process parameters significa...
154
Voted
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
This paper introduces a data-driven process for designing and fabricating materials with desired deformation behavior. Our process starts with measuring deformation properties of ...
189
click to vote
ECSCW
2003
15 years 8 months ago
2003
This paper contributes to the design of Groupware Calendar Systems (GCSs) for use in domestic life. We consider a number of ethnographic studies of calendar use in domestic circums...