7576 search results - page 1132 / 1516 » UNIX as an Application Program |
198
click to vote
SPIN
2007
Springer
16 years 26 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
197
click to vote
CGO
2006
IEEE
16 years 24 days ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
161
Voted
CODES
2006
IEEE
16 years 24 days ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
193
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
MPI provides a portable message passing interface for many parallel execution platforms but may lead to inefficiencies for some platforms and applications. In this article we sho...
197
click to vote
ISSRE
2006
IEEE
16 years 23 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...