Sciweavers

2774 search results - page 113 / 555
» Query-Driven Program Testing
Sort
View
ESA
2008
Springer
130views Algorithms» more  ESA 2008»
15 years 3 months ago
Linear Time Planarity Testing and Embedding of Strongly Connected Cyclic Level Graphs
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
Christian Bachmaier, Wolfgang Brunner
NIPS
2007
15 years 3 months ago
Sequential Hypothesis Testing under Stochastic Deadlines
Most models of decision-making in neuroscience assume an infinite horizon, which yields an optimal solution that integrates evidence up to a fixed decision threshold; however, u...
Peter Frazier, Angela Yu
AICCSA
2001
IEEE
112views Hardware» more  AICCSA 2001»
15 years 5 months ago
Implementation of DDARC: Software Architecture for Debugging Distributed Programs
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
Sushma Rai, D. Sampath, Srivathsa N. S.
SCAM
2005
IEEE
15 years 7 months ago
Declassification: Transforming Java Programs to Remove Intermediate Classes
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...
Bernadette Power, Geoff W. Hamilton
ICSE
2001
IEEE-ACM
15 years 6 months ago
Case Study: Extreme Programming in a University Environment
Extreme Programming (XP) is a new and controversial sojiware processfor small teams. A practical training courseat the universityof Karlsruheled to thefollowing observations about...
Matthias M. Müller, Walter F. Tichy