3909 search results - page 591 / 782 » Extreme Model Checking |
182
click to vote
RTAS
2005
IEEE
16 years 1 days ago
2005
IEEE
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...
168
click to vote
WORDS
2005
IEEE
16 years 1 days ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
188
click to vote
ACMSE
2005
ACM
16 years 1 days ago
2005
ACM
Digital libraries (DLs) have become a major focus of information technology resources for organizations from academia, to the US Department of Defense to the archeological efforts...
171
click to vote
ACMSE
2005
ACM
16 years 1 days ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
167
click to vote
APLAS
2005
ACM
16 years 1 days ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...