4520 search results - page 649 / 904 » Algebraic Techniques for Timed Systems |
162
click to vote
ICSM
2005
IEEE
16 years 9 days ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
162
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
The goal of this paper is to introduce a new approach to the building of efficient distributed linear system solvers. The starting point of the results of this paper lies in the ...
197
click to vote
VISUALIZATION
2005
IEEE
16 years 8 days ago
2005
IEEE
We present a system for three-dimensional visualization of complex Liquid Chromatography - Mass Spectrometry (LCMS) data. Every LCMS data point has three attributes: time, mass, a...
169
click to vote
GROUP
2005
ACM
16 years 8 days ago
2005
ACM
The RideNow Project is designed to help individuals within a group or organization coordinate ad hoc shared rides. This paper describes three design decisions the RideNow team mad...
163
click to vote
FSTTCS
2005
Springer
16 years 6 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...