1200 search results - page 195 / 240 » The Problem Frames Approach to Software Engineering |
103
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
130
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
119
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
In current Field-Programmable-Logic Architecture (FPGA) design flows, it is very hard to control the routing of submodules. It is thus very hard to make an identical copy of an ex...
134
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
111
click to vote
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...