2081 search results - page 305 / 417 » Chaotic Systems Synchronization in Secure Communication Syst... |
ADAEUROPE
2009
Springer
14 years 2 months ago
2009
Springer
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
IWNAS
2008
IEEE
14 years 2 months ago
2008
IEEE
We study parallel job scheduling, where each job may be scheduled on any number of available processors in a given parallel system. We propose a mathematical model to estimate a j...
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
PARA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...