6581 search results - page 395 / 1317 » Formalizing Design Patterns |
160
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
112
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
159
Voted
IFM
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
110
click to vote
TEI
2010
ACM
15 years 12 months ago
2010
ACM
Karma Chameleon refers to a series of textile prototypes woven on a Jacquard loom, using photonic bandgap fibers that have the ability to change color when illuminated with ambien...
152
Voted
ISVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
Multimedia applications are often characterized by a large number of data accesses with regular and periodic access patterns. In these cases, optimized pipelined memory access con...