separation articles, videos, photos and opinions

Sort by Relevance | Date | Popularity
Syntactic Control of Interference for <endeca_term>Separation</endeca_term> Logic

Syntactic Control of Interference for Separation Logic

Separation Logic has witnessed tremendous success in recent years in reasoning about programs... Read more

27 January, 2012
Formalized Veri Cation of Snapshotable Trees: <endeca_term>Separation</endeca_term> and Sharing

Formalized Veri Cation of Snapshotable Trees: Separation and Sharing

The authors use separation logic to specify and verify a Java program that implements snapshotable search... Read more

21 November, 2011
New Results on Single-Channel Speech <endeca_term>Separation</endeca_term> Using Sinusoidal Modeling

New Results on Single-Channel Speech Separation Using Sinusoidal Modeling

The authors present new results on single-channel speech separation and suggest a new separation approach to improve the speech quality of... Read more

1 July, 2011
Verifying Object-Oriented Programs With Higher-Order <endeca_term>Separation</endeca_term> Logic in Coq

Verifying Object-Oriented Programs With Higher-Order Separation Logic in Coq

The authors present a shallow Coq embedding of a higher-order separation logic with nested triples for an object-oriented programming language. Moreover, they... Read more

18 May, 2011
Region-Based Dynamic <endeca_term>Separation</endeca_term> for STM Haskell

Region-Based Dynamic Separation for STM Haskell

The authors present the first design and implementation of dynamic separation in STM Haskell. Dynamic separation is a recent approach to Software Transactional... Read more

16 May, 2011
<endeca_term>Separation</endeca_term> Logic in the Presence of Garbage Collection

Separation Logic in the Presence of Garbage Collection

Separation logic has proven to be a highly effective tool for the verification... Read more

4 April, 2011
<endeca_term>Separation</endeca_term> of Duties as a Service

Separation of Duties as a Service

The authors introduce the concept of Separation of Duties (SoD) as a Service, an approach to enforcing SoD requirements... Read more

24 March, 2011
Detecting <endeca_term>Separation</endeca_term> in Robotic and Sensor Networks

Detecting Separation in Robotic and Sensor Networks

In this paper, the authors consider the problem of monitoring detecting separation of agents from a base station in robotic and sensor networks. Such... Read more

17 February, 2011
The Relationship Between <endeca_term>Separation</endeca_term> Logic and Implicit Dynamic Frames

The Relationship Between Separation Logic and Implicit Dynamic Frames

Separation logic is a concise method for specifying programs that manipulate dynamically allocated... Read more

10 January, 2011
Nonlinear Blind Source <endeca_term>Separation</endeca_term> Using Kernel Multi-Set Canonical Correlation Analysis

Nonlinear Blind Source Separation Using Kernel Multi-Set Canonical Correlation Analysis

To solve the problem of nonlinear Blind Source Separation (BSS), a novel algorithm based on kernel Multi-set Canonical Correlation Analysis... Read more

1 November, 2010
Weak Updates and <endeca_term>Separation</endeca_term> Logic

Weak Updates and Separation Logic

Separation logic provides a simple but powerful technique for reasoning about low-level... Read more

16 August, 2010
Overcome Divorce, Heartbreak & <endeca_term>Separation</endeca_term> Guided Meditation, Hypnosis & Subliminal 1.101

Overcome Divorce, Heartbreak & Separation Guided Meditation, Hypnosis & Subliminal 1.101

...pain and suffering of a breakup with the new app, Overcome Divorce, Separation & Broken Heart. Create the future.*Overcome depression*Create a positive outlook on... Read more

4 March, 2012
Model Based <endeca_term>Separation</endeca_term> of Overlapping Latent Fingerprints

Model Based Separation of Overlapping Latent Fingerprints

...fingerprints. In this paper, the authors improve the robustness of overlapping fingerprints separation, particularly for low quality images. Their algorithm reconstructs the orientation fields of... Read more

1 February, 2012
<endeca_term>Separation</endeca_term> Charm BLACK - a Charm for separation - 1.1

Separation Charm BLACK - a Charm for separation - 1.1

1) a Charm for separation : If you feel so heartbreaking at the separation with a loved person... Read more

20 July, 2011
HMS: Towards Hierarchical Mapping System for ID/Locator <endeca_term>Separation</endeca_term>

HMS: Towards Hierarchical Mapping System for ID/Locator Separation

...achieve due to the dual use of IP. Therefore, Identifier and Locator separation is proposed and discussed in the research community as a way to... Read more

15 June, 2011

Get ZDNet UK's daily newsletter

Enter your email address to sign up

ZDNet UK Live

Lonnie

those conformation letters are hard to figure out what is which letters it is a pain in the back side. Please make it more Ledge-able being better...

3 hours ago by Lonnie on Screenshots: Photoshop CS6 Beta
BrownieBoy

"cites" even. Ouch!

10 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Horace Ontalhold

...... and PDP11s too

10 hours ago by Horace Ontalhold on Fusion-io lays minefield with a billion IOPS
BrownieBoy

I had a quick skim through the PDF. It seems to be that many of these so-called cost savings would be down to a hardware refresh. Although...

12 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
bobandroid

496,999 BT Fon Hotspots lovingly situated in your next door neighbours garden, no matter how you dress that up its still a pup... Not where I need...

14 hours ago by bobandroid on London Olympics: BT needs 25,000 more Wi-Fi hotspots
apexwm

Jack : I was hoping you could provide us a summary since you are familiar with this report. I am not yet sure how much of my time I'd like to...

15 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
Smilig Eddie

2 – 4 more weeks of waiting: how many buyers are going to decide instead to see what the iPhone 5 offers? Consumer trust in the brand has also...

15 hours ago by Smilig Eddie on Samsung Galaxy 'S3' delayed by special paint
SRist

So it looks like this was a complete red herring - Adobe are allowing upgrades from Photoshop CS3, CS4 and CS5 at the same price. When did this...

16 hours ago by SRist on Photoshop users attack Adobe upgrade policy change
Jack Schofield

@apexwm Have you considered either (a) reading the story above or (b) reading the PDF? There are answers in both.

18 hours ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
apexwm

I would love to hear why Microsoft believes that "upgrading from Windows XP to Windows 7 pays for itself in a year, in increased productivity and...

19 hours ago by apexwm on Using Windows XP is a waste of money, says IDC
debsmk

I have just changed mine to white they said 3 to 5 days

20 hours ago by debsmk on Samsung Galaxy 'S3' delayed by special paint
Atangana

I would like a job for me and do good to their tackiness vellent my help I will do my best to help you mercie for all

21 hours ago by Atangana on UK's 15-year-old World Excel champion offered £100k job
BrownieBoy

Well done to IDC for producing a report that says using XP is a waste of money. Only 11 years too late with it is all....

22 hours ago by BrownieBoy on Using Windows XP is a waste of money, says IDC
Jack Schofield

@Burn-IT ...which doesn't mean it isn't true ;-) I'll be interested if you can find any properly-researched, independent data from any of the...

23 hours ago by Jack Schofield on Using Windows XP is a waste of money, says IDC
Burn-IT

As said, sponsored by Microsoft........

23 hours ago by Burn-IT on Using Windows XP is a waste of money, says IDC
mrbigdong

@620W, I mine 1 BTC/daily for cost of 1.7eur, they naysayers regurgitate the rubbish they read as usual

23 hours ago by mrbigdong on A minor Bitcoin miner injury?
Mike Denton

If the link to the next section existed that would be awesome.... Guess I have to ask uncle google where it is

1 day ago by Mike Denton via Facebook on Security on the farm: Accounts and permissions
minzhu

Don't blame CEO, they want RIM win. RIM has strange culture and self distruct political environment. In RIM if a new hired person figure out...

1 day ago by minzhu on RIM CEO: Time to squash BlackBerry myths
Thomas Gellhaus

I've been very pleased with Mageia 2. My review went up on Sunday. My only issue is that my particular wireless printer hasn't been detected on...

1 day ago by Thomas Gellhaus via Facebook on Scorecard - Linux Mint 13 and Mageia 2
knapper

That we have :-) Retailers don't buy stuff to lie around in warehouses, particularly with fast moving technology products. If they didn't think...

2 days ago by knapper on Windows Phone, Android take bite out of BlackBerry