6808 search results - page 279 / 1362 » Distributed Concurrency Control |
180
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
142
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
186
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
182
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a brief overview of a framework for the interactive steering of distributed applications that addresses three key issues: (1) Definition of Interaction Object...
194
click to vote
ICDCS
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...