3456 search results - page 308 / 692 » Algorithms for Interface Synthesis |
142
click to vote
JOT
2006
15 years 6 months ago
2006
This paper is the third in a series of papers that describe a new plug-in for enabling the integration of the IntelliJ IDEA IDE with the JBoss application server. The JBoss plug-i...
175
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Sometimes people cannot remember the names or locations of things on their computer, but they can remember what other things are associated with them. We created Feldspar, the fir...
162
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The importance of annotations, as a by-product of the reading activity, cannot be overstated. Annotations help users in the process of analyzing, re-reading, and recalling detaile...
264
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
A large part of the data on the World Wide Web is hidden behind form-like interfaces. These interfaces interact with a hidden backend database to provide answers to user queries. ...
133
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Cost effective SOC test strongly hinges on parallel, independent test of SOC cores, which can only be ensured through proper core isolation techniques. While a core isolation mech...