1023 search results - page 154 / 205 » Model Checking: Software and Beyond |
130
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
127
click to vote
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
149
click to vote
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
123
click to vote
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
124
click to vote
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...