355 search results - page 66 / 71 » An MDA-Based Approach for Inferring Concurrency in Distribut... |
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
104
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
ISPAN
2005
IEEE
15 years 5 months ago
2005
IEEE
Commodity hardware and software are growing increasingly more complex, with advances such as chip heterogeneity and specialization, deeper memory hierarchies, ne-grained power ma...
111
Voted
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...