Sciweavers

8771 search results - page 393 / 1755
» Different by design
Sort
View
MKWI
2008
188views Business» more  MKWI 2008»
15 years 8 months ago
A Pragmatic Approach to Traceability in Model-Driven Development
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
Markus Aleksy, Tobias Hildenbrand, Claudia Obergfe...
ISPD
2003
ACM
88views Hardware» more  ISPD 2003»
16 years 8 days ago
Synthesis and placement flow for gain-based programmable regular fabrics
In this paper we present the Gain-based Logic Block Array (GLA), a new via-programmable regular fabric. GLA is an array of Gainbased Logic Blocks (GLBs). The GLB is a semi-univers...
Bo Hu, Hailin Jiang, Qinghua Liu, Malgorzata Marek...
ICFP
2005
ACM
16 years 7 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
ISCAS
2006
IEEE
135views Hardware» more  ISCAS 2006»
16 years 1 months ago
A sensor system on chip for wireless microsystems
Recent years have seen the rapid development of microsensor technology, system on chip design, wireless technology and ubiquitous computing. When assembled into a complex microsys...
L. Wang, Nizamettin Aydin, A. Astaras, M. Ahmadian...
IADIS
2004
15 years 8 months ago
Pattern definition to refine navigation structure in hypermedia/Web applications
When building Hypermedia/Web Applications, (different) designers are often faced with the same problems over and over again. Those recurring problems soon yield elegant solutions,...
Sven Casteleyn, Irene Garrigós, Peter Pless...