1901 search results - page 305 / 381 » Models and Scheduling Mechanisms for Global Computing Applic... |
123
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...
119
click to vote
ICDCS
2008
IEEE
15 years 8 months ago
2008
IEEE
Wireless sensor networks (WSNs) deployed for missioncritical applications face the fundamental challenge of meeting stringent spatiotemporal performance requirements using nodes w...
128
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
201
Voted
FORTE
2011
14 years 5 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...