6829 search results - page 1213 / 1366 » Quantitative Generalizations of Languages |
119
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
We present an approach for describing tests using nondeterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-determinist...
224
click to vote
TAPIA
2009
ACM
15 years 8 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
137
click to vote
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
133
click to vote
CIKM
2001
Springer
15 years 8 months ago
2001
Springer
If XML is to play the critical role of the lingua franca for Internet data interchange that many predict, it is necessary to start designing and adopting benchmarks allowing the c...
111
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Constant propagation (CP) is one of the most widely used optimizations in practice (cf. [9]). Intuitively, it addresses the problem of statically detecting whether an expression al...