861 search results - page 78 / 173 » Internal implementation |
144
click to vote
CCS
2009
ACM
16 years 25 days ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
124
click to vote
SIGUCCS
2009
ACM
16 years 16 days ago
2009
ACM
iTunes U is a free service from Apple that allows for the easy organization and distribution of content through iTunes. In the spring of 2008, Ithaca College signed a contract wit...
146
click to vote
HICSS
2008
IEEE
16 years 15 days ago
2008
IEEE
The shift from a product-based to a knowledge-based economy has resulted in an increasing demand for organizations to implement knowledge management systems (KMS) at an accelerati...
152
click to vote
ISCAS
2007
IEEE
16 years 10 days ago
2007
IEEE
— In state of the art hardware-software-co-design flows for FPGA based systems, the hardware-software partitioning problem is solved offline, thus, omitting the great flexibil...
167
click to vote
MEMOCODE
2007
IEEE
16 years 9 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...