7971 search results - page 6 / 1595 » On unbounded operators and applications |
PPPJ
2003
ACM
14 years 20 days ago
2003
ACM
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
CHARME
2005
Springer
14 years 29 days ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
ACSD
2006
IEEE
13 years 11 months ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
COMPSAC
2009
IEEE
14 years 4 days ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...