3579 search results - page 282 / 716 » Transformations of software models into performance models |
191
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
179
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
199
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
159
Voted
SIGIR
2006
ACM
16 years 3 days ago
2006
ACM
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
160
click to vote
DATE
2006
IEEE
16 years 6 days ago
2006
IEEE
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....