546 search results - page 46 / 110 » Parametric Program Slicing |
IFIP
2003
Springer
15 years 3 months ago
2003
Springer
Bluetooth specification still has open issues, including the intra and interpiconet scheduling topics. This paper proposes an interpiconet scheduling algorithm, referred to as AIS...
CASC
2010
Springer
14 years 8 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
ATS
2003
IEEE
15 years 3 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...