2777 search results - page 178 / 556 » Example centric programming |
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
-- Analog circuit sizing under process/parameter variations is formulated as a mini-max geometric programming problem. To tackle such problem, we present a new method that combines...
109
Voted
APN
2001
Springer
15 years 4 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
99
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
104
Voted
MICAI
2000
Springer
15 years 4 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
129
Voted
SI3D
1995
ACM
15 years 4 months ago
1995
ACM
In this paper, a method of encapsulating camera tasks into well defined units called “camera modules” is described. Through this encapsulation, camera modules can be programm...