861 search results - page 78 / 173 » Internal implementation |
CCS
2009
ACM
15 years 4 months 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...
SIGUCCS
2009
ACM
15 years 4 months 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...
HICSS
2008
IEEE
15 years 4 months 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...
ISCAS
2007
IEEE
15 years 4 months 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...
MEMOCODE
2007
IEEE
15 years 4 months 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...