Sciweavers

1837 search results - page 12 / 368
» Abstraction and the C Machine Model
Sort
View
IJCIS
2006
75views more  IJCIS 2006»
13 years 8 months ago
Model-Driven Design, Refinement and Transformation of Abstract Interactions
João Paulo A. Almeida, Remco M. Dijkman, Lu...
ERSHOV
2009
Springer
14 years 3 months ago
Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
Thomas Würthinger, Michael L. Van De Vanter, ...
VLSI
2012
Springer
12 years 4 months ago
A Signature-Based Power Model for MPSoC on FPGA
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
Roberta Piscitelli, Andy D. Pimentel
ICFEM
2009
Springer
14 years 3 months ago
RAFFS: Model Checking a Robust Abstract Flash File Store
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
Paul Taverne, Cornelis Pronk
FDL
2006
IEEE
14 years 2 months ago
Layered UML Workload and SystemC Platform Models
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tie...