Sciweavers

1256 search results - page 208 / 252
» Tools for Exploring Natural Language
Sort
View
CODES
2003
IEEE
15 years 3 months ago
RTOS scheduling in transaction level models
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
Haobo Yu, Andreas Gerstlauer, Daniel Gajski
MICRO
1994
IEEE
85views Hardware» more  MICRO 1994»
15 years 2 months ago
A high-performance microarchitecture with hardware-programmable functional units
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...
Rahul Razdan, Michael D. Smith
CODES
2007
IEEE
15 years 1 months ago
Pointer re-coding for creating definitive MPSoC models
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
Pramod Chandraiah, Rainer Dömer
DAIS
2007
14 years 11 months ago
Component Adaptation in Contemporary Execution Environments
Because they are required to support component deployment and composition, modern execution environments embody a number of common features such as dynamic linking and support for ...
Susan Eisenbach, Chris Sadler, Dominic Wong
IPL
2008
102views more  IPL 2008»
14 years 10 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones