11328 search results - page 8 / 2266 » Timed Branching Processes |
106
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
CONCUR
1993
Springer
15 years 3 months ago
1993
Springer
107
click to vote
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Ever increasing performance requirements have elevated deeply pipelined architectures to a standard even in the embedded processor domain, requiring the incorporation of dynamic b...
ASPLOS
1994
ACM
15 years 3 months ago
1994
ACM
Several researchers have proposed algorithms for basic block reordering. We call these branch alignment algorithms. The primary emphasis of these algorithms has been on improving ...
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
— A receiving signal strength indicator (RSSI) built with transconductance amplifiers is presented. The RSSI achieves high tolerance to process variations by utilizing the unique...