2943 search results - page 140 / 589 » Software Implementation of Synchronous Programs |
112
Voted
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Multicore has shown its merits of high performance and low power consumption compared with traditional single cores. It also puts a challenge to the universities in how to teach a...
131
Voted
ECOOP
2011
Springer
14 years 2 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
226
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
183
click to vote
GTTSE
2007
Springer
17 years 24 days ago
2007
Springer
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...
121
Voted
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...