8587 search results - page 1698 / 1718 » Interactive dynamic abstraction |
BIRTHDAY
2007
Springer
13 years 12 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
CGO
2009
IEEE
13 years 12 months ago
2009
IEEE
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
CLUSTER
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--Developing and tuning computational science applications to run on extreme scale systems are increasingly complicated processes. Challenges such as managing memory access...
CSE
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--Much of modern software development consists of assembling together existing software components and writing the glue code that integrates them into a unified application...
PERCOM
2010
ACM
13 years 11 months ago
2010
ACM
Abstract—People waste many hours driving each day. Although unavoidable, this time can be very boring to motorists. Similar to people taking mass transit who often pass the time ...