Sciweavers

1305 search results - page 119 / 261
» The design context of concurrent computation systems
Sort
View
BIRTHDAY
2007
Springer
16 years 18 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
VLSID
2004
IEEE
125views VLSI» more  VLSID 2004»
16 years 6 months ago
Energy-Optimizing Source Code Transformations for OS-driven Embedded Software
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj...
DAC
1999
ACM
15 years 10 months ago
On ILP Formulations for Built-In Self-Testable Data Path Synthesis
In this paper, we present a new method to the built-in selftestable data path synthesis based on integer linear programming (ILP). Our method performs system register assignment, ...
Han Bin Kim, Dong Sam Ha, Takeshi Takahashi
BIRTHDAY
1991
Springer
15 years 10 months ago
User Interface Development: Problems and Experiences
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
Hans-Werner Six, Josef Voss
WIKIS
2009
ACM
15 years 11 months ago
SAVVY Wiki: a context-oriented collaborative knowledge management system
This paper presents a new Wiki called SAVVY Wiki that realizes context-oriented, collective and collaborative knowledge management environments that are able to reflect users’ i...
Takafumi Nakanishi, Koji Zettsu, Yutaka Kidawara, ...