Sciweavers

832 search results - page 133 / 167
» System-level development of embedded software
Sort
View
IJES
2006
110views more  IJES 2006»
13 years 10 months ago
Partitioning bin-packing algorithms for distributed real-time systems
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
Dionisio de Niz, Raj Rajkumar
MEMOCODE
2003
IEEE
14 years 4 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
CLUSTER
2008
IEEE
14 years 5 months ago
Intelligent compilers
—The industry is now in agreement that the future of architecture design lies in multiple cores. As a consequence, all computer systems today, from embedded devices to petascale ...
John Cavazos
DOA
2001
95views more  DOA 2001»
14 years 4 days ago
Application of the QuO Quality-of-Service Framework to a Distributed Video Application
Adaptation of distributed software to maintain the best possible application performance in the face of changes in available resources is an increasingly important and complex pro...
David A. Karr, Craig Rodrigues, Joseph P. Loyall, ...
JSCIC
2000
187views more  JSCIC 2000»
13 years 10 months ago
A Boundary Condition Capturing Method for Multiphase Incompressible Flow
In [6], the Ghost Fluid Method (GFM) was developed to capture the boundary conditions at a contact discontinuity in the inviscid compressible Euler equations. In [11], related tec...
Myungjoo Kang, Ronald Fedkiw, Xu-Dong Liu