Sciweavers

11862 search results - page 87 / 2373
» Relative information completeness
Sort
View
SDL
2007
139views Hardware» more  SDL 2007»
13 years 9 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...
ATS
2010
IEEE
250views Hardware» more  ATS 2010»
13 years 4 months ago
Efficient Embedding of Deterministic Test Data
Systems with many integrated circuits (ICs), often of the same type, are increasingly common to meet the constant performance demand. However, systems in recent semiconductor techn...
Mudassar Majeed, Daniel Ahlstrom, Urban Ingelsson,...
NAR
2011
197views Computer Vision» more  NAR 2011»
12 years 10 months ago
dictyBase update 2011: web 2.0 functionality and the initial steps towards a genome portal for the Amoebozoa
dictyBase (http://www.dictybase.org), the model organism database for Dictyostelium, aims to provide the broad biomedical research community with well integrated, high quality dat...
Pascale Gaudet, Petra Fey, Siddhartha Basu, Yulia ...
LICS
1994
IEEE
13 years 12 months ago
Categories, Allegories and Circuit Design
Relational languages such as Ruby are used to derive circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representat...
Carolyn Brown, Graham Hutton
WM
2003
13 years 9 months ago
Integration with Ontologies
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
Andreas Maier, Jessica Aguado, Amaia Bernaras, I&n...