Sciweavers

12107 search results - page 281 / 2422
» Software That Can Think
Sort
View
ISQED
2005
IEEE
128views Hardware» more  ISQED 2005»
16 years 6 days ago
Reliability-Centric Hardware/Software Co-Design
This paper proposes a reliability-centric hardware/ software co-design framework. This framework operates with a component library that provides multiple alternates for a given ta...
Suleyman Tosun, Nazanin Mansouri, Ercument Arvas, ...
MSR
2005
ACM
16 years 5 days ago
A framework for describing and understanding mining tools in software development
We propose a framework for describing, comparing and understanding tools for the mining of software repositories. The fundamental premise of this framework is that mining should b...
Daniel M. Germán, Davor Cubranic, Margaret-...
ADAEUROPE
2005
Springer
16 years 5 days ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon
FM
2005
Springer
88views Formal Methods» more  FM 2005»
16 years 4 days ago
Timing Tolerances in Safety-Critical Software
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
Alan Wassyng, Mark Lawford, Xiayong Hu
ICALT
2003
IEEE
15 years 12 months ago
A Distributed Software System Architecture For Wireless Peer-to-Peer Collaborative Learning
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...
Indrani Vedula, Richard Han