4311 search results - page 586 / 863 » Code Generation for Distributed Systems |
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
119
Voted
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes an application of IR and text categorization methods to a highly practical problem in biomedicine, specifically, Gene Ontology (GO) annotation. GO annotation...
117
Voted
CODES
2008
IEEE
15 years 2 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
111
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
We present the architecture of an end-to-end semantic search engine that uses a graph data model to enable interactive query answering over structured and interlinked data collecte...
106
click to vote
PPAM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We address parallel jobs scheduling problem for computational GRID systems. We concentrate on two-level hierarchy scheduling: at the first level broker allocates computa...