4460 search results - page 201 / 892 » Resources in process algebra |
179
click to vote
CEFP
2005
Springer
16 years 1 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
220
click to vote
TCGOV
2005
Springer
15 years 12 months ago
2005
Springer
Growing complexity of the data and processes to be managed, as well as the transition from strict governmental regulation towards autonomy make academic institutions a significant ...
180
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
Most cross language information retrieval research concentrates on language pairs for which direct, rich, and often multiple translation resources already exist. However, for most...
170
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
210
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...