Sciweavers

1112 search results - page 175 / 223
» Executing Abstract Test Cases
Sort
View
IFL
2001
Springer
142views Formal Methods» more  IFL 2001»
15 years 2 months ago
A Compilation Scheme for a Hierarchy of Array Types
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
Dietmar Kreye
GROUP
1999
ACM
15 years 2 months ago
Getting some perspective: using process descriptions to index document history
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...
Paul Dourish, Richard Bentley, Rachel Jones, Allan...
LCTRTS
1998
Springer
15 years 2 months ago
Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
Thomas Lundqvist, Per Stenström
ICDT
1997
ACM
95views Database» more  ICDT 1997»
15 years 2 months ago
Type-Consistency Problems for Queries in Object-Oriented Databases
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito
IPPS
1993
IEEE
15 years 2 months ago
Parallel Algorithms for Hypercube Allocation
Abstract - Parallel algorithms of the hypercube allocation strategies are considered in this paper. Although the sequential algorithms of various hypercube allocation strategies ar...
Yeimkuan Chang, Laxmi N. Bhuyan