Sciweavers

1446 search results - page 212 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
16 years 28 days ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
CODES
2008
IEEE
16 years 20 days ago
Static analysis of processor stall cycle aggregation
Processor Idle Cycle Aggregation (PICA) is a promising approach for low power execution of processors, in which small memory stalls are aggregated to create a large one, and the p...
Jongeun Lee, Aviral Shrivastava
AOSD
2010
ACM
16 years 1 months ago
EffectiveAdvice: disciplined advice with explicit effects
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
Bruno C. d. S. Oliveira, Tom Schrijvers, William R...
UIST
2006
ACM
16 years 4 days ago
Procedural haptic texture
We present the Haptic Shading Framework (HSF), a framework for procedurally defining haptic texture. HSF haptic texture shaders are short procedures allowing an application-progr...
Jeremy Shopf, Marc Olano
WECWIS
2006
IEEE
97views ECommerce» more  WECWIS 2006»
16 years 5 days ago
On State Synchronization of Business Conversations
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
Carlos Molina-Jiménez, Santosh K. Shrivasta...