Sciweavers

32117 search results - page 415 / 6424
» Design for Unanticipated Use..
Sort
View
ISCAS
2003
IEEE
96views Hardware» more  ISCAS 2003»
16 years 3 days ago
Interface design approach for system on chip based on configuration
Communication synthesis is an essential step in hardware/software co-synthesis: many embedded systems use automatic generation of interface for point to point communication or use...
Issam Maalej, Guy Gogniat, Mohamed Abid, Jean Luc ...
169
Voted
IUI
2003
ACM
16 years 2 days ago
Tool support for designing nomadic applications
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
Giulio Mori, Fabio Paternò, Carmen Santoro
AOSE
2003
Springer
16 years 2 days ago
Building Blocks for Agent Design
We present our Component-Based Agent Framework, which enables a software engineer to design a set of agents by using a visual compo nent-based toolkit (Sun’s BDK), and wiring tog...
Hrishikesh J. Goradia, José M. Vidal
163
Voted
FASE
2001
Springer
15 years 11 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
164
Voted
ASYNC
1997
IEEE
66views Hardware» more  ASYNC 1997»
15 years 11 months ago
Speculative Completion for the Design of High-Performance Asynchronous Dynamic Adders
This paper presents an in-depth case study in highperformance asynchronous adder design. A recent method, called “speculative completion”, is used. This method uses single-rai...
Steven M. Nowick, Kenneth Y. Yun, Ayoob E. Dooply,...