10159 search results - page 608 / 2032 » System Design Validation Using Formal Models |
171
click to vote
AE
2005
Springer
16 years 17 days ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
190
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
218
click to vote
ICRA
2005
IEEE
2005
IEEE
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
16 years 19 days ago
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...
250
click to vote
CAL
2011
14 years 7 months ago
2011
—In this paper we present DRAMSim2, a cycle accurate memory system simulator. The goal of DRAMSim2 is to be an accurate and publicly available DDR2/3 memory system model which ca...
167
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...