Sciweavers

399 search results - page 69 / 80
» An Integrated Development Environment for Declarative Multi-...
Sort
View
BMCBI
2010
124views more  BMCBI 2010»
15 years 13 days ago
GPFrontend and GPGraphics: graphical analysis tools for genetic association studies
Background: Most software packages for whole genome association studies are non-graphical, purely text based programs originally designed to run with UNIX-like operating systems. ...
Steffen Uebe, Francesca Pasutto, Mandy Krumbiegel,...
ICCS
2007
Springer
15 years 4 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
120
Voted
DAC
2006
ACM
15 years 2 months ago
Systematic software-based self-test for pipelined processors
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
Mihalis Psarakis, Dimitris Gizopoulos, Miltiadis H...
92
Voted
ATAL
2003
Springer
15 years 5 months ago
MONAD: a flexible architecture for multi-agent control
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...
Thuc Vu, Jared Go, Gal A. Kaminka, Manuela M. Velo...
SIGSOFT
2009
ACM
16 years 1 months ago
Learning from examples to improve code completion systems
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made ...
Marcel Bruch, Martin Monperrus, Mira Mezini