2500 search results - page 321 / 500 » Specifying Behavior in C |
144
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
110
Voted
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we present a scalable model of a network of Active Queue Management (AQM) routers serving a large population of TCP flows. We present efficient solution techniques...
188
click to vote
LANC
2009
ACM
15 years 8 months ago
2009
ACM
We study a wireless network under the 802.11 random access protocol, supporting multiple physical layer rates. Based on models for the effective packet rates achieved at the MAC ...
117
Voted
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
135
click to vote
VRML
1997
ACM
15 years 8 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...