Sciweavers

1263 search results - page 98 / 253
» A Vision on a New Generation of Software Design Environments
Sort
View
ICSEA
2007
IEEE
16 years 19 days ago
A Novel Framework for Test Domain Reduction using Extended Finite State Machine
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
Nutchakorn Ngamsaowaros, Peraphon Sophatsathit
ICMCS
2008
IEEE
168views Multimedia» more  ICMCS 2008»
16 years 24 days ago
A co-design platform for algorithm/architecture design exploration
The efficient implementation of multimedia algorithms, for the ever increasing complexity of the specifications and the emergence of the new generation of processing platforms c...
Christophe Lucarz, Marco Mattavelli, Julien Dubois
ROBOCUP
2000
Springer
101views Robotics» more  ROBOCUP 2000»
15 years 10 months ago
CMU Hammerheads Team Description
In this paper the hardware and software design of the CMU Hammerhead middle-size robot team are presented. The team consists of 4 fully autonomous robots with wireless communicatio...
Rosemary Emery, Tucker R. Balch, Rande Shern, Kevi...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 10 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
IFIP
2010
Springer
15 years 4 months ago
Active Ageing Roadmap - A Collaborative Networks Contribution to Demographic Sustainability
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...
Luis M. Camarinha-Matos, Hamideh Afsarmanesh