3514 search results - page 182 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
115
click to vote
TAICPART
2006
IEEE
15 years 8 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
113
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
We consider the rate allocation problem for multiple-description quantization of the signal described by an adaptive model with a fixed structure. The source modeling in coding g...
121
click to vote
WCRE
2000
IEEE
15 years 6 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
102
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose a new method to group partials produced by each instrument of a polyphonic audio mixture. This method works for pitched and harmonic instruments and is specially adapte...
116
click to vote
IMSCCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Peer-to-peer networks are one of the trends in the field of internetworking. Mobile agent-based technology is a newly proposed technology that can be used in peer-to-peer network...