Sciweavers

7124 search results - page 1027 / 1425
» Programming Languages and Operating Systems
Sort
View
CODES
1994
IEEE
15 years 9 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
114
Voted
ICCD
2002
IEEE
103views Hardware» more  ICCD 2002»
16 years 1 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»
15 years 11 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
15 years 11 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
15 years 11 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 »