Sciweavers

1446 search results - page 120 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
146
Voted
WOSP
2010
ACM
15 years 9 months ago
A framework for utility-based service oriented design in SASSY
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
Daniel A. Menascé, John M. Ewing, Hassan Go...
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
15 years 11 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
16 years 1 months ago
A code refinement methodology for performance-improved synthesis from C
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
Greg Stitt, Frank Vahid, Walid A. Najjar
158
Voted
ISWC
2003
IEEE
15 years 10 months ago
MIThril 2003: Applications and Architecture
In this paper we describe the MIThril 2003 wearable computing research platform. MIThril 2003 is a proven, accessible architecture that combines inexpensive, commodity hardware, a...
Richard W. DeVaul, Michael Sung, Jonathan Gips, Al...
ICFP
2006
ACM
16 years 4 months ago
Towards an automatic complexity analysis for generic programs
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
Kyle D. Ross