4476 search results - page 515 / 896 » Modeling software architectures in the Unified Modeling Lang... |
183
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
202
click to vote
VLSISP
2010
15 years 1 months ago
2010
A common approach to extract phonemes of sign language is to use an unsupervised clustering algorithm to group the sign segments. However, simple clustering algorithms based on dis...
196
click to vote
SAC
2003
ACM
16 years 3 days ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
209
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
193
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...