Sciweavers

30 search results - page 5 / 6
» Code Completion from Abbreviated Input
Sort
View
IRI
2007
IEEE
13 years 12 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
EUROSYS
2008
ACM
14 years 2 months ago
Flicker: an execution infrastructure for tcb minimization
We present Flicker, an infrastructure for executing securitysensitive code in complete isolation while trusting as few as 250 lines of additional code. Flicker can also provide me...
Jonathan M. McCune, Bryan Parno, Adrian Perrig, Mi...
IWPC
2009
IEEE
14 years 8 days ago
A plethora of paths
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
Eric Larson
ICCV
2011
IEEE
12 years 5 months ago
Adaptive Deconvolutional Networks for Mid and High Level Feature Learning
We present a hierarchical model that learns image decompositions via alternating layers of convolutional sparse coding and max pooling. When trained on natural images, the layers ...
Matthew D. Zeiler, Graham W. Taylor, Rob Fergus
UIST
1993
ACM
13 years 9 months ago
Model-based User Interface Design by Example and by Interview
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
Martin R. Frank, James D. Foley