898 search results - page 139 / 180 » Comparing high-level modeling approaches for embedded system... |
138
click to vote
VMCAI
2009
Springer
16 years 9 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
158
click to vote
ICSE
2007
IEEE-ACM
16 years 5 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
132
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
Extensive research has proposed the use of multiple on-die power supplies (VDD) for reducing power consumption in CMOS circuits. We present a detailed study and design techniques ...
165
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
154
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe results of a case study whose intent was to determine whether new techniques for hardware/software partitioning of an application’s binary are competitive with parti...