3316 search results - page 563 / 664 » Mining Software Engineering Data |
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Open Core Protocol (OCP) is a standard on-chip core interface specification. The current release is flexible and configurable to support the communication needs of a wide range...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
System-on-Chip architectures incorporate several IP cores with well defined master and slave characteristics in terms of on-chip communication. The paper presents a parameterized ...
EUROMICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
Ubiquitous environments facilitate the fast and easy access to users’ physical environments. Ubiquitous environments typically capture users’ presence and activities in a room...
FCCM
2007
IEEE
15 years 4 months ago
2007
IEEE
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...