13500 search results - page 369 / 2700 » Improved analysis of D |
173
click to vote
WCRE
2003
IEEE
16 years 1 days ago
2003
IEEE
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
152
click to vote
DOCENG
2003
ACM
16 years 20 hour ago
2003
ACM
In this paper, we present a framework for coupling an existing formatting system such as SMIL [7] and Madeus [13] with a formatting control system XEF [10]. This framework allows ...
194
click to vote
LCN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes how a portable benchmark suite that measures the ability of an MPI implementation to overlap computation and communication can be used to discover and diagnos...
176
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider a decentralized bidirectional control of a platoon of N identical vehicles moving in a straight line. Such problems are known to suffer from poor stability margin a...
147
click to vote
LOPSTR
1998
Springer
15 years 11 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...