627 search results - page 93 / 126 » Branched Polyhedral Systems |
114
Voted
CODES
2004
IEEE
15 years 2 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
127
Voted
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
88
Voted
EUROPAR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract This paper examines the behavior of current and next generation microprocessors' fetch engines while running Decision Support Systems (DSS) workloads. We analyze the ...
95
Voted
ECAI
2006
Springer
15 years 26 days ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
ISCAPDCS
2007
15 years 10 days ago
2007
We address distributed real-time applications represented by systems of non-preemptive dependent periodic tasks. This system is described by an acyclic directed graph. Because the...