188 search results - page 11 / 38 » Guiding Architectural SRAM Models |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
FPGA
2008
ACM
13 years 9 months ago
2008
ACM
Architecture development for FPGAs has typically been a very empirical discipline, requiring the synthesis of benchmark circuits into candidate architectures. This is difficult to...
CONEXT
2007
ACM
13 years 11 months ago
2007
ACM
We propose an economic model based on user utility to study the adoption of new network architectures such as IPv6. We use mathematical analysis and simulation studies to understa...
MOMPES
2008
IEEE
14 years 1 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
SPIN
2004
Springer
14 years 21 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...