Sciweavers

1837 search results - page 12 / 368
» Abstraction and the C Machine Model
Sort
View
IJCIS
2006
75views more  IJCIS 2006»
15 years 4 months ago
Model-Driven Design, Refinement and Transformation of Abstract Interactions
João Paulo A. Almeida, Remco M. Dijkman, Lu...
ERSHOV
2009
Springer
15 years 11 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
13 years 12 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
15 years 11 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
15 years 10 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...