5355 search results - page 583 / 1071 » Modules |
159
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Discrete and continuous modes of manual control are fundamentally different: buttons select or change state, while handles persistently modulate an analog parameter. User interfac...
152
click to vote
AMTA
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a language independent linearization engine, oxyGen. This system compiles target language grammars into programs that take feature graphs as inputs and genera...
234
Voted
APN
2010
Springer
15 years 10 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...
160
Voted
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
153
click to vote
ICFP
1999
ACM
15 years 10 months ago
1999
ACM
Programs are often structured around the idea that diļ¬erent pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...