844 search results - page 96 / 169 » Reachability in Linear Dynamical Systems |
109
click to vote
WSC
2000
15 years 13 days ago
2000
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
ITCC
2000
IEEE
15 years 3 months ago
2000
IEEE
Using the operational matrix of an orthogonal function to perform integration for solving, identifying and optimizing a linear dynamic system has several advantages: (1) the metho...
SPAA
2005
ACM
15 years 4 months ago
2005
ACM
The non-blocking work-stealing algorithm of Arora, Blumofe, and Plaxton (henceforth ABP work-stealing) is on its way to becoming the multiprocessor load balancing technology of ch...
75
Voted
FC
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
106
Voted
ENTCS
2007
14 years 11 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...