3365 search results - page 401 / 673 » Digital System Design: Architectures, Methods and Tools |
154
click to vote
ISARCS
2010
15 years 8 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
199
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
184
click to vote
ICSM
2006
IEEE
16 years 20 days ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
152
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Profiling an application executing on a microprocessor is part of the solution to numerous software and hardware optimization and design automation problems. Most current profilin...
183
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...