15777 search results - page 3155 / 3156 » Software Engineering |
FSTTCS
2009
Springer
13 years 11 months ago
2009
Springer
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...
EUROSYS
2010
ACM
13 years 10 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
ICCAD
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...
SCHULE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract: In Zeiten von Web 2.0 finden immer mehr Aktivit¨aten orts- und zeitunabh¨angig ¨uber das Internet statt. Lerninhalte und Aufgabentexte in einem Wiki aufzubereiten, um...