Sciweavers

1226 search results - page 67 / 246
» Designing systems-on-chip using cores
Sort
View
DBPL
1993
Springer
104views Database» more  DBPL 1993»
15 years 5 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
DESRIST
2009
Springer
115views Education» more  DESRIST 2009»
15 years 4 months ago
Ontological design
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...
Arkalgud Ramaprasad, Sridhar S. Papagari
ICWL
2007
Springer
15 years 7 months ago
A Web Application for Mathematics Education
AGILMAT is a web application designed to help students learn Mathematics, with focus on high-school algebra and calculus drills. A modular and extensible architecture and a wizard-...
Ana Paula Tomás, José Paulo Leal, Ma...
MICRO
2010
IEEE
159views Hardware» more  MICRO 2010»
14 years 11 months ago
Fractal Coherence: Scalably Verifiable Cache Coherence
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
Meng Zhang, Alvin R. Lebeck, Daniel J. Sorin
MEMICS
2010
14 years 8 months ago
Fast Translated Simulation of ASIPs
Application-specific instruction set processors are the core of nowadays embedded systems. Therefore, the designers need to have powerful tools for the processor design. The tools...
Zdenek Prikryl, Jakub Kroustek, Tomas Hruska, Dusa...