Sciweavers

7103 search results - page 899 / 1421
» Program Generation and Components
Sort
View
ICSE
2001
IEEE-ACM
15 years 11 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
IWSAS
2001
Springer
15 years 11 months ago
SSCS: A Smart Spell Checker System Implementation Using Adaptive Software Architecture
The subject of this paper is a Smart Spell Checker System (SSCS) that can adapt to a particular user by using the user’s feedback for adjusting its behavior. The result of the ad...
Deepak Seth, Mieczyslaw M. Kokar
PFE
2001
Springer
15 years 11 months ago
Introducing Product Lines in Small Embedded Systems
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...
Christoph Stoermer, Markus Roeddiger
DAC
2000
ACM
15 years 11 months ago
Macro-driven circuit design methodology for high-performance datapaths
Datapath design is one of the most critical elements in the design of a high performance microprocessor. However datapath design is typically done manually, and is often custom st...
Mahadevamurty Nemani, Vivek Tiwari
ISLPED
2000
ACM
70views Hardware» more  ISLPED 2000»
15 years 11 months ago
An adaptive on-chip voltage regulation technique for low-power applications
In this paper we present a completely on-chip voltage regulation technique which promises to adjust the degree of voltage regulation in a digital logic chip in the face of process...
Nicola Dragone, Akshay Aggarwal, L. Richard Carley