5961 search results - page 788 / 1193 » Design Science and Software Engineering |
271
click to vote
VLSI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
155
click to vote
AGILEDC
2006
IEEE
16 years 14 days ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...
180
click to vote
APSEC
2006
IEEE
16 years 14 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
160
click to vote
ISPASS
2006
IEEE
16 years 13 days ago
2006
IEEE
Detailed microarchitectural simulators are not well suited for exploring large design spaces due to their excessive simulation times. We introduce AXCIS, a framework for fast and ...
167
click to vote
IUI
2006
ACM
16 years 11 days ago
2006
ACM
Human geospatial activities often involves the use of geographic information in mobile environment where the context of technology use is dynamic, complex, and unstable, creating ...