Sciweavers

410 search results - page 18 / 82
» Tool Support for Invariant Based Programming
Sort
View
ESWS
2007
Springer
14 years 1 months ago
Explorative Debugging for Rapid Rule Base Development
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
Valentin Zacharias, Andreas Abecker
BMCBI
2010
151views more  BMCBI 2010»
13 years 7 months ago
Classification of G-protein coupled receptors based on support vector machine with maximum relevance minimum redundancy and gene
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
Zhanchao Li, Xuan Zhou, Zong Dai, Xiaoyong Zou
ISCA
2008
IEEE
109views Hardware» more  ISCA 2008»
14 years 1 months ago
Flexible Hardware Acceleration for Instruction-Grain Program Monitoring
Instruction-grain program monitoring tools, which check and analyze executing programs at the granularity of individual instructions, are invaluable for quickly detecting bugs and...
Shimin Chen, Michael Kozuch, Theodoros Strigkos, B...
JSS
2010
107views more  JSS 2010»
13 years 6 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
MASCOTS
2001
13 years 8 months ago
PTPlan MPLS: A Tool for MPLS Network Dimensioning
This paper presents a tool for MPLS network dimensioning that allows for multi-hour dimensioning of networks supporting simultaneously peer-to-peer and client-server services. The...
Luís Cardoso, Jorge Patrão, Carlos L...