4340 search results - page 831 / 868 » Formal Methods and Cryptography |
124
click to vote
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
This demo presents the Cupboard online system for sharing and reusing ontologies linked together with alignments, and that are attached to rich metadata and reviews. Categories an...
136
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
143
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
115
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Buffered crossbar switches are a special type of combined input-output queued switches with each crosspoint of the crossbar having small on-chip buffers. The introduction of cross...
122
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...