6939 search results - page 1183 / 1388 » Algorithm Engineering for Parallel Computation |
145
Voted
MMSEC
2006
ACM
15 years 9 months ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...
145
Voted
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
135
Voted
HYBRID
2010
Springer
15 years 10 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
119
Voted
MIDDLEWARE
2007
Springer
15 years 9 months ago
2007
Springer
Snowbird is a middleware system based on virtual machine (VM) technology that simplifies the development and deployment of bimodal applications. Such applications alternate betwee...
153
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Recent research in embedded computing indicates that packing multiple processor cores on the same die is an effective way of utilizing the ever-increasing number of transistors. T...