Sciweavers

1446 search results - page 53 / 290
» Hardware Software Co-Design Using Functional Languages
Sort
View
METRICS
1999
IEEE
15 years 6 months ago
Function Point Measurement Tool for UML Design Specification
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
Takuya Uemura, Shinji Kusumoto, Katsuro Inoue
GRAPHICSINTERFACE
2004
15 years 3 months ago
Compressed Multisampling for Efficient Hardware Edge Antialiasing
Today's hardware graphics accelerators incorporate techniques to antialias edges and minimize geometry-related sampling artifacts. Two such techniques, brute force supersampl...
Philippe Beaudoin, Pierre Poulin
ICFP
2006
ACM
16 years 1 months ago
Design patterns as higher-order datatype-generic programs
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
Jeremy Gibbons
ECRTS
2005
IEEE
15 years 7 months ago
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime
Embedded systems are usually an integral component of a larger system and are used to control and/or directly monitor this system by using special hardware devices. The complexity...
Sebastian Fischmeister, Klemens Winkler
TAP
2008
Springer
144views Hardware» more  TAP 2008»
15 years 1 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...