12333 search results - page 699 / 2467 » System Level Modelling for Hardware Software Systems |
218
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
210
click to vote
IRI
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose a semantic tagger that provides high level concept information for phrases based on several kinds of low level information about words in clinical narrative texts. The ...
198
Voted
CAV
2005
Springer
16 years 25 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
192
Voted
WCRE
2005
IEEE
16 years 26 days ago
2005
IEEE
Software decay is a phenomenon that plagues aging software systems. While in recent years, there has been significant progress in the area of automatic detection of “code smells...
275
click to vote
MJ
2011
15 years 2 months ago
2011
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...