Sciweavers

3883 search results - page 541 / 777
» Design mentoring based on design evolution analysis
Sort
View
DDECS
2008
IEEE
97views Hardware» more  DDECS 2008»
16 years 1 months ago
Incremental SAT Instance Generation for SAT-based ATPG
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
Daniel Tille, Rolf Drechsler
IAT
2008
IEEE
16 years 1 months ago
Multiagent Technology Solutions for Planning in Ambient Intelligence
In presence of reconfigurable environments, such as AmI systems, the orchestration and coordination of more devices involved in the execution of services requested by users is of...
Nicola Gatti, Francesco Amigoni, Marco Rolando
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
16 years 1 months 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,...
ICPADS
2008
IEEE
16 years 1 months 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
FCCM
2007
IEEE
146views VLSI» more  FCCM 2007»
16 years 29 days ago
Mitrion-C Application Development on SGI Altix 350/RC100
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
Volodymyr V. Kindratenko, Robert J. Brunner, Adam ...