3441 search results - page 425 / 689 » Parallel Logic Programming Systems |
127
click to vote
PPSN
1998
Springer
15 years 9 months ago
1998
Springer
Many optimization problems require the satisfaction of constraints in addition to their objectives. When using an evolutionary algorithm to solve such problems, these constraints c...
150
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
GloServ is a global service discovery system which aggregates different types of services in a globally distributed network. It improves on current service discovery systems by sc...
168
click to vote
IEEEPACT
2009
IEEE
15 years 2 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
135
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
150
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...