827 search results - page 90 / 166 » Patterns for Timed Property Specifications |
138
click to vote
GPCE
2009
Springer
15 years 1 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
115
click to vote
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
A controlled experiment was performed to assess the usefulness of portions of a Usability-Supporting Architectural Pattern (USAP) in modifying the design of software architectures...
156
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
117
Voted
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
This paper proposes a novel Behavioral Synthesis method that improves performance of synthesized circuits utilizing specialized functional units effectively. Specialized functional...
206
click to vote
OSN
2011
14 years 6 months ago
2011
—This paper presents PI-OPS (Parallel-Iterative Optical Packet Scheduler) a parallel-iterative scheduler for asynchronous Optical Packet Switching nodes with optical buffering. O...