5377 search results - page 816 / 1076 » Programming Languages For Interactive Computing |
210
click to vote
DCOSS
2005
Springer
16 years 19 days ago
2005
Springer
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
194
Voted
EGH
2005
Springer
16 years 18 days ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
214
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
191
click to vote
ICALP
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
181
click to vote
SOFSEM
2005
Springer
16 years 17 days ago
2005
Springer
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...