Sciweavers

518 search results - page 32 / 104
» Specification, Implementation, and Validation of Object-Orie...
Sort
View
DFT
1999
IEEE
114views VLSI» more  DFT 1999»
15 years 2 months ago
Yield Enhancement Considerations for a Single-Chip Multiprocessor System with Embedded DRAM
A programmable single-chip multiprocessor system for video coding has been developed. The system is implemented in a high-performance 0.25 m logic/embedded DRAM process. It integr...
Markus Rudack, Dirk Niggemeyer
126
Voted
HYBRID
2010
Springer
14 years 11 months ago
Receding horizon control for temporal logic specifications
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Mu...
84
Voted
HICSS
1999
IEEE
183views Biometrics» more  HICSS 1999»
15 years 2 months ago
Extending the Technology Acceptance Model to Account for Social Influence: Theoretical Bases and Empirical Validation
The Technology Acceptance Model (TAM) represents an important theoretical contribution toward understanding IS usage and IS acceptance behaviors [6, 19]. However, as noted by seve...
Yogesh Malhotra, Dennis F. Galletta
SERP
2003
14 years 11 months ago
An Automatic Approach to Transform CafeOBJ Specifications to Java Template Code
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
Chartchai Doungsa-ard, Taratip Suwannasart
MBEES
2007
14 years 11 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...