Sciweavers

7124 search results - page 1027 / 1425
» Programming Languages and Operating Systems
Sort
View
CODES
1994
IEEE
15 years 11 months ago
Towards a declarative framework for hardware-software codesign
We present an experimental framework for mapping declarative programs, written in a language known as Ruby, into various combinations of hardware and software. Strategies for para...
Wayne Luk, Teddy Wu
ICCD
2002
IEEE
103views Hardware» more  ICCD 2002»
16 years 4 months ago
A Stream Processor Development Platform
We describe a hardware and software platform for developing streaming applications. Programmers write stream programs in high-level languages, and a set of software tools maps the...
Ben Serebrin, John D. Owens, Chen H. Chen, Stephen...
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 2 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
EDUTAINMENT
2007
Springer
16 years 1 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
ICSM
2006
IEEE
16 years 1 months ago
Reverse Engineering Method Stereotypes
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
Natalia Dragan, Michael L. Collard, Jonathan I. Ma...
« Prev « First page 1027 / 1425 Last » Next »