7167 search results - page 224 / 1434 » A Technique for Invariant Generation |
169
click to vote
CEC
2005
IEEE
16 years 26 days ago
2005
IEEE
An L-system or Lindenmayer system consists of a grammar and an interpreter. The grammar contains an axiom, usually a short string, that the grammar expands into a long, complex st...
171
click to vote
APLAS
2004
ACM
16 years 20 days ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
221
click to vote
IMR
2003
Springer
16 years 13 days ago
2003
Springer
The quality of numerical simulations of processes that are modeled by partial differential equations strongly depends on the quality of the mesh that is used for their discretiza...
141
Voted
ISCAS
1994
IEEE
15 years 11 months ago
1994
IEEE
The Switched-Current SI technique is a circuit method that enables analog sampled-data circuits to be realized with a standard digital CMOS process. At this time it is fair to say...
232
click to vote
CASCON
1996
15 years 8 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...