4854 search results - page 170 / 971 » It's the Programming, Stupid |
178
click to vote
ICLP
2005
Springer
16 years 16 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
179
click to vote
PASTE
2004
ACM
16 years 14 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
230
Voted
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...
190
Voted
DAGSTUHL
2001
15 years 8 months ago
2001
To understand the dynamics of a running program, it is often useful to examine its state at specific moments during its execution. We present memory graphs as a means to capture an...
164
Voted
IJCGA
2000
15 years 6 months ago
2000
Quadrilateral meshing algorithms impose certain constraints on the number of intervals or mesh edges of the curves bounding a surface. When constructing a conformal mesh of a colle...