Sciweavers

10707 search results - page 50 / 2142
» Designing executable abstractions
Sort
View
IFIP8
2004
15 years 4 months ago
Workflow Partitioning in Mobile Information Systems
The increasing success of wireless technologies is sustaining the diffusion of mobile information systems, but the youth of the underlying technology and its peculiar characterist...
Luciano Baresi, Andrea Maurino, Stefano Modafferi
107
Voted
ASPDAC
2006
ACM
131views Hardware» more  ASPDAC 2006»
15 years 8 months ago
POSIX modeling in SystemC
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
Hector Posadas, Jesús Ádamez, Pablo ...
111
Voted
PADL
1999
Springer
15 years 6 months ago
CHAT: The Copy-Hybrid Approach to Tabling
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
Bart Demoen, Konstantinos F. Sagonas
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
15 years 6 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 6 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer