Sciweavers

5961 search results - page 643 / 1193
» Design Science and Software Engineering
Sort
View
OPODIS
2004
15 years 8 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
SCAM
2008
IEEE
16 years 1 months ago
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
Nuno F. Rodrigues, Luís Soares Barbosa
AOSD
2009
ACM
16 years 1 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
IOLTS
2005
IEEE
206views Hardware» more  IOLTS 2005»
16 years 17 days ago
A Hamming Distance Based Test Pattern Generator with Improved Fault Coverage
This paper proposes a new test pattern generator (TPG) which is an enhancement of GLFSR (Galois LFSR). This design is based on certain non–binary error detecting codes, formulat...
Dhiraj K. Pradhan, Dimitri Kagaris, Rohit Gambhir
EMSOFT
2005
Springer
16 years 13 days ago
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks
Rialto is a design framework that allows separating the description of a control application for wireless sensor networks from its physical network implementation. The methodology...
Alvise Bonivento, Luca P. Carloni, Alberto L. Sang...