2902 search results - page 433 / 581 » Simple Local Models for Complex Dynamical Systems |
101
click to vote
CCR
2011
14 years 5 months ago
2011
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
PPOPP
1997
ACM
15 years 2 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
100
click to vote
UML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
JSS
2011
14 years 4 months ago
2011
Due to the complex nature of scientific workflow environments, temporal violations often take place and may severely reduce the timeliness of the execution’s results. To handle ...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...