2030 search results - page 196 / 406 » The Need for Customizable Operating Systems |
176
click to vote
HICSS
2007
IEEE
16 years 17 days ago
2007
IEEE
The USCP had enormous challenges with its IT Program and support to the internal and external stakeholders of the Department, because of a fragile IT infrastructure. The IT Progra...
176
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
152
click to vote
HPCA
2009
IEEE
16 years 6 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
177
click to vote
RTAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— The increasing use of electronics in transport systems, such as the automotive and avionic domain, has lead to dramatic improvements with respect to functionality, safe...
161
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...