Sciweavers

852 search results - page 100 / 171
» Understanding How the Requirements Are Implemented in Source...
Sort
View
CODES
2007
IEEE
15 years 10 months ago
Embedded software development on top of transaction-level models
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
Wolfgang Klingauf, Robert Günzel, Christian S...
CODES
2006
IEEE
15 years 10 months ago
Automatic run-time extraction of communication graphs from multithreaded applications
Embedded system synthesis, multiprocessor synthesis, and thread assignment policy design all require detailed knowledge of the runtime communication patterns among different threa...
Ai-Hsin Liu, Robert P. Dick
JAVA
2001
Springer
15 years 8 months ago
Core semantics of multithreaded Java
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
Jeremy Manson, William Pugh
RE
2005
Springer
15 years 10 months ago
An Algebraic Framework for Merging Incomplete and Inconsistent Views
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
Mehrdad Sabetzadeh, Steve M. Easterbrook
CSB
2005
IEEE
131views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Current Challenges in Bioimage Database Design
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
Ambuj K. Singh, Arnab Bhattacharya, Vebjorn Ljosa