Sciweavers

3056 search results - page 431 / 612
» Open Implementation Analysis and Design
Sort
View
138
Voted
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
16 years 27 days ago
Overcoming limitations of the SystemC data introspection
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
Christian Genz, Rolf Drechsler
ISSAC
2009
Springer
171views Mathematics» more  ISSAC 2009»
16 years 21 days ago
Computing cylindrical algebraic decomposition via triangular decomposition
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
16 years 18 days ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...
173
Voted
ICPADS
2008
IEEE
16 years 17 days ago
Query Management in a Sensor Environment
Traditional sensor network deployments consisted of fixed infrastructures and were relatively small in size. More and more, we see the deployment of ad-hoc sensor networks with h...
Martin F. O'Connor, Vincent Andrieu, Mark Roantree
ICRA
2008
IEEE
179views Robotics» more  ICRA 2008»
16 years 17 days ago
Torque transmission mechanism with nonlinear passive stiffness using mechanical singularity
— To introduce a passive compliant mechanism for robot joints is an effective way for impact absorption. However, because robot joints also require high torque transmission chara...
Masafumi Okada, Shintaro Kino