7075 search results - page 129 / 1415 » Models and heterogeneous reasoning |
127
click to vote
ANSS
1997
IEEE
15 years 8 months ago
1997
IEEE
HPAM Sim is an execution-driven simulator of heterogeneous machines. HPAM Sim allows the simulation of target machines consisting of different processors and interconnection netwo...
138
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
126
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
170
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
123
click to vote
ICNS
2009
IEEE
15 years 10 months ago
2009
IEEE
Now that smart phones can interact with computers through various interface technologies such as Bluetooth, infrared, or the 802.11 family of IEEE specifications, they are workin...