7429 search results - page 74 / 1486 » Embedded System Update |
104
click to vote
WISES
2003
14 years 11 months ago
2003
— Steadily growing microcontroller capabilities at an ever decreasing cost per operation encourage the development of more extensive and smarter applications in the domain of emb...
WSC
2008
15 years 5 days ago
2008
This paper summarizes new analytical and empirical results for the economic approach to simulation selection problems that we introduced two years ago. The approach seeks to help ...
NETWORKING
2004
14 years 11 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...
APAL
2010
14 years 10 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
170
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Data partitioning is often used to scale-up a database system. In a centralized database system, the serialization order of commited update transactions can be inferred from the d...