7961 search results - page 571 / 1593 » Input-Output Model Programs |
196
click to vote
LATA
2009
Springer
16 years 2 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
200
Voted
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
189
click to vote
ICNS
2008
IEEE
16 years 1 months ago
2008
IEEE
The programmable network approach allows processing of passing user data in a network, which is highly suitable especially for multimedia streams processing. However, programming ...
223
click to vote
COMPSAC
2005
IEEE
16 years 28 days ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...
167
click to vote
ITICSE
2005
ACM
16 years 26 days ago
2005
ACM
“Objects-first” is an increasingly popular strategy for teaching object-oriented programming by introducing the concepts of objects, classes, and instances before procedural e...