Sciweavers

6740 search results - page 647 / 1348
» Using Classification as a Programming Language
Sort
View
PPDP
2010
Springer
15 years 5 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
TOOLS
1999
IEEE
15 years 10 months ago
Communication as a Means to Differentiate Objects, Components and Agents
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
Dwight Deugo, Franz Oppacher, Bruce Ashfield, Mich...
SIGCSE
2005
ACM
146views Education» more  SIGCSE 2005»
16 years 2 days ago
Using image processing projects to teach CS1 topics
As Computer Science educators, we know that students learn more from projects that are fun and challenging, that seem “real” to them, and that allow them to be creative in des...
Richard Wicentowski, Tia Newhall
CASES
2007
ACM
15 years 10 months ago
A fast and generic hybrid simulation approach using C virtual machine
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
Lei Gao, Stefan Kraemer, Rainer Leupers, Gerd Asch...
ICFP
2008
ACM
16 years 6 months ago
Transactional events for ML
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
Laura Effinger-Dean, Matthew Kehrt, Dan Grossman