Sciweavers

279 search results - page 21 / 56
» Applying Reduction Techniques to Software Functional Require...
Sort
View
OOPSLA
2000
Springer
15 years 7 months ago
A real world object modeling method for creating simulation environment of real-time systems
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
Ji Y. Lee, Hye J. Kim, Kyo Chul Kang
VMV
2000
169views Visualization» more  VMV 2000»
15 years 5 months ago
Automatic Adjustment of Transfer Functions for 3D Volume Visualization
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
Christof Rezk-Salama, Peter Hastreiter, Jörg ...
ESTIMEDIA
2005
Springer
15 years 9 months ago
Custom Processor Design Using NISC: A Case-Study on DCT algorithm
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
Bita Gorjiara, Daniel D. Gajski
IEE
2008
115views more  IEE 2008»
15 years 4 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
138
Voted
EURODAC
1995
IEEE
131views VHDL» more  EURODAC 1995»
15 years 7 months ago
System level design, a VHDL based approach
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...
Joris van den Hurk, Edwin Dilling